% this is just example of how bibtex entries might look
% any entry doesn't go into bibliography unless you cite it in the text
%
% cite it this way:
% some text that deserves citation~\cite{name-of-the-bibtex-entry}

@article{motifs,
   AUTHOR="R. Milo and S. Shen-Orr and S. Itzkovitz and N. Kashtan and D. Chklovskii and U. Alon",
   TITLE="Network Motifs: Simple Building Blocks of Complex Networks",
   JOURNAL="Science",
   VOLUME=298,
   NUMBER=5594,
   PAGES="824-827",
   YEAR=2002,
   MONTH="Oct",
   DAY=25
}

@article{superfamilies,
   AUTHOR="R. Milo and S. Itzkovitz and N. Kashtan and R. Levitt and S. Shen-Orr and I. Ayzenshtat and M. Sheffer and U. Alon",
   TITLE="Superfamilies of Evolved and Designed Networks",
   JOURNAL="Science",
   VOLUME=303,
   NUMBER=5663,
   PAGES="1538-1542",
   YEAR=2004,
   MONTH="Mar",
   DAY=5
}

@misc{caching,
   AUTHOR="Vaclav Rosecky",
   TITLE="Kesovani stavu pri prochazeni stavovych prostoru",
   HOWPUBLISHED="Bachelor's Thesis, Faculty of Informatics, Masaryk University",
   YEAR=2007,
}

@book{modelchecking,
	AUTHOR="Edmund M. Clarke and Orna Grumberg and Doron A. Peled",
	TITLE="Model Checking",
	PUBLISHER="The MIT Press", 
	ADDRESS="Cambridge, Massachusetts",
	YEAR=1999,
}

@InProceedings{caching2,
  title =	"State Caching Reconsidered",
  author =	"Jaco Geldenhuys",
  bibdate =	"2004-03-01",
  bibsource =	"DBLP,
		 http://dblp.uni-trier.de/db/conf/spin/spin2004.html#Geldenhuys04",
  booktitle =	"Model Checking Software, 11th International {SPIN}
		 Workshop, Barcelona, Spain, April 1-3, 2004,
		 Proceedings",
  publisher =	"Springer",
  year = 	"2004",
  volume =	"2989",
  editor =	"Susanne Graf and Laurent Mounier",
  ISBN = 	"3-540-21314-7",
  pages =	"23--38",
  series =	"Lecture Notes in Computer Science",
  URL =  	"http://springerlink.metapress.com/openurl.asp?genre=article&amp;issn=0302-9743&amp;volume=2989&amp;spage=23",
}

@TechReport{BEEM,
  author =       {R. Pel\'anek},
  title =        {Web Portal for Benchmarking Explicit Model Checkers},
  institution =  {Faculty of Informatics, Masaryk University Brno},
  year =         {2006},
  number =       {FIMU-RS-2006-03},
  month =        {October},
}

@inproceedings{dynamic,
 author = {Flavio Lerda and Willem Visser},
 title = {Addressing dynamic issues of program model checking},
 booktitle = {SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software},
 year = {2001},
 isbn = {3-540-42124-6},
 pages = {80--102},
 location = {Toronto, Ontario, Canada},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }


